- 2 402 202 книги
- Поиск
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Компьютеры
Размер книги: 13.00 Mb
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Автор: Charles Petrie, Автор: Tiziana Margaria, Автор: Holger Lausen, Автор: Michal Zaremba
Размер книги: 5.39 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 8.98 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 9.82 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 13.99 Mb
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Автор: Margaria, Автор: Tiziana; Steffen, Автор: BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 8.96 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Автор: Ed Brinksma, Автор: W. Rance Cleaveland, Автор: Kim G. Larsen, Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.30 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.60 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Автор: Tiziana Margaria, Автор: Wang YiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.55 Mb
Software Process Improvement, 14 conf., EuroSPI 2007
Автор: Pekka Abrahamsson, Автор: Nathan Baddoo, Автор: Tiziana Margaria, Автор: Richard MessnarzКатегория: CsLn_
Размер книги: 3.00 Mb
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Pekka Abrahamsson, Автор: Nathan Baddoo, Автор: Tiziana Margaria, Автор: Richard MessnarzКатегория: Computer Science, Computer Science
Размер книги: 5.15 Mb
Fundamental Approaches to Software Engineering
Автор: Michel Wermelinger, Автор: Tiziana Margaria-SteffenКатегория: Computer Science, Software Engineering
Размер книги: 7.19 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 6.59 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 7.31 Mb
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ...
Автор: Tiziana Margaria, Автор: Tom Melham
Размер книги: 3.98 Mb
Fundamental Approaches to Software Engineering
Автор: Michel Wermelinger, Автор: Tiziana Margaria-Steffen
Размер книги: 3.71 Mb